Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
901	Scope and Disjunction Feed an Even More Argument for Argument Ellipsis in Japanese Synopsis: This paper provides novel data on null arguments in Japanese and argues that they can only be handled by Argument Ellipsis (AE) Add to Reading List Source URL: jk.mit.edu Language: English - Date: 2013-07-12 21:49:44 Mathematics Logic Linguistics Ellipsis Logical disjunction Negation Null Boolean algebra Propositional calculus Logical connectives
902	Not All Equals are Created Equal: Nonstandard Statement Structures in the DATA Step Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2013-05-05 20:18:02 Procedural programming languages Boolean algebra 4GL Query languages Boolean data type Assignment Eval Null Relational operator Computing Software engineering Computer programming
903	Microsoft Word - Online Survey[removed]with ToC.doc Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2009-07-15 13:30:28 Multilingualism Linguistics Negation Logic Language Boolean algebra Language acquisition Propositional calculus
904	BIOTECHNOLOGY – BT[removed]BT : BIOTECHNOLOGY Duration: Three Hours Add to Reading List Source URL: www.biofin.net Language: English - Date: 2013-05-26 12:18:59 Group theory Boolean algebra Propositional calculus Quantum algorithms Mathematical logic Mathematics Logic
905	Microsoft Word - Tunnels.doc Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-17 15:00:29 Mathematics Hypergeometric functions Boolean algebra Propositional calculus Abstract algebra Q-analogs Group theory
906	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
907	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-17 10:05:08 Model theory Logic programming Boolean algebra Propositional calculus Stable model semantics Interpretation First-order logic If and only if Negation as failure Logic Mathematical logic Mathematics
908	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
909	Microsoft PowerPoint - Five Considerations for Software Developers.ppt Add to Reading List Source URL: www.jfokus.se Language: English - Date: 2012-09-20 14:54:57 Boolean algebra Cross-platform software Data types Iterator Object-oriented programming Java programming language Boolean data type Null C Computing Computer programming Software engineering
910	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-05 07:39:08 Boolean algebra Measure theory Operator theory Descriptive set theory Forcing Complete Boolean algebra Abelian von Neumann algebra Von Neumann algebra Sigma-algebra Mathematics Mathematical logic Mathematical analysis

UPDATE